xen/arm: implement vcpu_timer_destroy
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 5 Feb 2013 11:31:09 +0000 (11:31 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 5 Feb 2013 11:31:09 +0000 (11:31 +0000)
commitf0cc428cbef61edff2f59aad2c077b5bc211c250
treeaf4a0ec8697a1d9dffb69906094cfbefb841fb23
parentbe2d8830237b12b00aad81d7aa10745055233db8
xen/arm: implement vcpu_timer_destroy

Implement a function to destroy the per-vcpu phys and virt timers, call
it from vcpu_destroy.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/vtimer.c
xen/arch/arm/vtimer.h